Search Based Transformations
نویسندگان
چکیده
Program Transformations are generally written in order to generate better programs. In transformations, we apply a number of simple transformation axioms to parts of a program source code to obtain a functionally equivalent program. The application of these axioms is treated as a search problem and we apply a meta–heuristic search algorithm such as hill climbing to guide the direction of the search.
منابع مشابه
Toward the Automatic Derivation of XML Transformations
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropriate in situations where many data transformations are needed or where data transformations have to be generated frequently. We describe an approach to an automatic XML-transformation generator that is based on a theory...
متن کاملFinding Legal Reordering Transformations Using Mappings
Traditionally, optimizing compilers attempt to improve the performance of programs by applying source to source transformations, such as loop interchange, loop skewing and loop distribution. Each of these transformations has its own special legality checks and transformation rules which make it hard to analyze or predict the eeects of compositions of these transformations. To overcome these pro...
متن کاملSearching for Efficient XML-to-Relational Mappings
We consider the problem of cost-based strategies to derive efficient relational configurations for XML applications that subscribe to an XML Schema. In particular, we propose a flexible framework for XML schema transformations and show how it can be used to design algorithms to search the space of equivalent relational configurations. We study the impact of the schema transformations and query ...
متن کاملSearch-Based Model Optimization Using Model Transformations
With the advent of new and more complex software engineering problems and applications, synergies between SearchBased Software Engineering (SBSE) and Model-Driven Engineering (MDE) have been proposed. SBSE formulates the software engineering problem as a search-based optimization (SBO) problem. In Model-Driven Engineering, model transformation is the preferred technique to manipulate models. Th...
متن کاملDesign and Management of Complex Technical Processes and Systems by means of Computational Intelligence Methods On the Impact of Objective Function Transformations on Evolutionary and Black-Box Algorithms
Different fitness functions describe different problems. Hence, certain fitness transformations can lead to easier problems although they are still a model of the considered problem. In this paper, the class of neutral transformations for a simple rank-based evolutionary algorithm (EA) is described completely, i.e., the class of functions that transfers easy problems for this EA in easy ones an...
متن کامل